The understanding of the death of man in Saint Thomas Aquinas is necessarily contained in the preliminary study of the concept of the human person and of questions related to their nature. The essence of man basically lies in his substantial unity made up by the soul as the substantial form of the matter. This is why death is considered as the separation of its natural unity, a substantial corruption. The reflection and the analysis of the soul’s nature and its (...) relationship with matter allows us to answer one of the most controversial issues about man: is there a human person after death? (shrink)

At Her. 6.113–18 Hypsipyle lays out for Jason the advantages to be gained by marrying her: the prestige of her noble and even divine family, and the fertile island of Lemnos, which will come as her dowry. She then adds the fact that she is pregnant with twins ; this thought introduces a new section, which extends until line 130.

This paper will examine three textual problems in Statius’ Thebaid, book 5 (Hypsipyle’s narration of the massacre on Lemnos) that have not previously been discussed in appropriate detail. It will also try to contribute to the demonstration of the fact that, on several occasions, P (Parisinus lat. 8051, s. ix2/3) is not the best codex in the tradition and that we can easily accept the text of the majority of manuscripts.

Resumen El concepto de scientia plasmado en la obra de Guillermo de Ockham considera, en primer lugar, la teoría de la suposición, la cual transforma la visión del conocimiento evidente a partir del examen de términos y proposiciones como signos de las cosas. En segundo lugar, el conocimiento intuitivo de los singulares, el cual posibilita la formulación de proposiciones necesarias que describen hechos y estados de cosas. En tercer lugar, una perspectiva lógica de scientia como conjuntos de proposiciones que configuran (...) las distintas ciencias.The concept of scientia established in William of Ockham's work considers firstly, the theory of supposition, which transforms the view of the evident knowledge based on the analysis of terms and propositions as signs of things. Secondly, the intuitive knowledge of singulars, which allows the formulation of necessary propositions that describe facts and state of affairs. Thirdly, a logical approach of science as set of propositions that configure the different sciences. (shrink)

Esta obra ofrece al lector un amplio relato de las enseñanzas de la Conferencia Episcopal Española a lo largo de todos los años posteriores al Concilio Vaticano II. Las enseñanzas de los Obispos se presentan según su temática, antecedentes y objetivos, y en su contexto social. Esta presentación permite al lector tener pleno conocimiento de la interpretación que los obispos hicieron de los acontecimientos históricos de la época. Por último, se añaden algunas observaciones críticas para comparar las ideas de los (...) obispos sobre los laicos con la doctrina del Concilio. (shrink)

Feature selection is a widely studied technique whose goal is to reduce the dimensionality of the problem by removing irrelevant features. It has multiple benefits, such as improved efficacy, efficiency and interpretability of almost any type of machine learning model. Feature selection techniques may be divided into three main categories, depending on the process used to remove the features known as Filter, Wrapper and Embedded. Embedded methods are usually the preferred feature selection method that efficiently obtains a selection of the (...) most relevant features of the model. However, not all models support an embedded feature selection that forces the use of a different method, reducing the efficiency and reliability of the selection. Neural networks are an example of a model that does not support embedded feature selection. As neural networks have shown to provide remarkable results in multiple scenarios such as classification and regression, sometimes in an ensemble with a model that includes an embedded feature selection, we attempt to embed a feature selection process with a general-purpose methodology. In this work, we propose a novel general-purpose layer for neural networks that removes the influence of irrelevant features. The Feature-Aware Drop Layer is included at the top of the neural network and trained during the backpropagation process without any additional parameters. Our methodology is tested with 17 datasets for classification and regression tasks, including data from different fields such as Health, Economic and Environment, among others. The results show remarkable improvements compared to three different feature selection approaches, with reliable, efficient and effective results. (shrink)

By weakening an inference rule satisfied by logic daC, we define a new paraconsistent logic, which is weaker than logic \ and G′ 3, enjoys properties presented in daC like the substitution theorem, and possesses a strong negation which makes it suitable to express intutionism. Besides, daC ' helps to understand the relationships among other logics, in particular daC, \ and PH1.

It has become almost commonplace to recognise that teaching is an embodied practice. Most analyses of teaching as embodied practice focus on the embodied nature of the teacher as subject. Here, we use Butler's concept of performativity to analyse the reiterated acts that are intelligible as—performatively constitute—teaching, rather of the teacher as subject. We suggest that this simultaneously helps explain the persistence of teaching as a narrow repertoire of actions recognisable as ‘teaching’, and the policing of conformity to teaching thus (...) embodied. However, like performatively accomplished subjectivity, this repertoire is unstable and ambiguous, and thus open to change and disruption. Moreover, teacher subjectivities may lead them to mobilise these possibilities of disruption. (shrink)

This paper analyses the probability of a reading so far neglected by editors in Lactantius Placidus’ late antique commentary on Stat. Theb. 5.16. Next, the article argues that, regardless of the accepted reading, this part of the scholium is likely an interpolation.

La comprensión del conocimiento como sistema en el Tratado de la naturaleza humana de David Hume reconoce tres aspectos: primero, el conocimiento implica su distancia de la idea de sustancia y de ideas generales abstractas. Segundo, el conocimiento comprende la conexión entre impresiones e ideas. El enlace de nuestras impresiones e ideas surge del principio de asociación el cual ordena y reconfigura el conocimiento en virtud de la atracción, conexión articulada por las facultades de la memoria y la imaginación. Tercero, (...) el conocimiento constituye un sistema constituido por la reiteración de hábitos y costumbres configurados por el principio de asociación desde la relación integrada de impresiones e ideas. (shrink)

For Ockham and Wittgenstein the analysis of knowledge is based on language. Both authors uphold the conception of the world from a logical-philosophical dimension configured by the close thought-language relationship. This construct is developed on the basis of the following three aspects: first, concepts are signs of things; second, propositions describe “state of affairs”; and third, knowledge in terms of “habits” is expressed in propositions structured in terms of the “uses” of language. These propositions are established by the thought considered (...) as “activity” and “operation of signs”. By analyzing certain a priori propositions, we recognize the very boundaries of the thought-language relationship, wherein the existential problems of mankind are revealed, whether out of the human tendency of explaining the world as a whole or out of the human attitude in the face of it. (shrink)

For Ockham and Wittgenstein the analysis of knowledge is based on language. Both authors uphold the conception of the world from a logical-philosophical dimension configured by the close thought-language relationship. This construct is developed on the basis of the following three aspects: first, concepts are signs of things; second, propositions describe “state of affairs”; and third, knowledge in terms of “habits” is expressed in propositions structured in terms of the “uses” of language. These propositions are established by the thought considered (...) as “activity” and “operation of signs”. By analyzing certain a priori propositions, we recognize the very boundaries of the thought-language relationship, wherein the existential problems of mankind are revealed, whether out of the human tendency of explaining the world as a whole or out of the human attitude in the face of it. (shrink)

The dynamic development of technology, as well as of AI’s, raises the fundamental question: can machines think? At the beginning of the 20th Century the Austrian philosopher wonders about this problem and analyses it from a logical-philosophical conception which conveys the need to recognize all the elements comprised in the thought-language relationship. An ethical-religious dimension is revealed in certain uses of language. This dimension, which shows the human’s attitude to the world, stems from the human tendency to search for explanations. (...) This attitude does not extend to machines. (shrink)

The current study analyzed the relationship between Coronavirus Awareness, mental health, and willingness to seek professional psychological help. This was made through a quantitative approach, using online questionnaires to collect data from 855 subjects. The questionnaires included the Brief Symptom Inventory to measure mental health indicators, the Attitudes Toward Seeking Professional Psychological Help Scale–Short Form, and the Coronavirus Awareness Scale-10. An Exploratory Factor Analysis suggests that three factors underlie the CAS-10: Coronavirus Concern, Exaggerated Perception, and Immunity Perception. Results indicate a (...) significant positive correlation between Coronavirus Concern and both general anxiety and phobic anxiety symptoms. Immunity Perception is positively related to paranoid ideation and psychotic symptoms. A Mediation Analysis determined that Coronavirus Concern has a significant positive direct effect on Openness to Seeking Psychological Treatment, while Exaggerated Perception and Immunity Perception scores have significant direct negative effects on the Value and Need in Seeking Treatment scores. Indirectly, the relationship between Coronavirus Concern and OPST is significantly mediated by anxiety symptoms. Similar results were found for the VNST subscale. There is a negative significant effect of Immunity Perception over OSPT mediated by Paranoid Ideation. However, the overall model only achieved small r2 coefficients for the OSPT and VNST scores. Comparisons in Coronavirus Awareness between sex, age, and the presence of children and older adults at home were also made. These results are discussed regarding their practical implications for mental health providers and policymakers. (shrink)

Traditionally, research focused on determining the causes of employee pay satisfaction has investigated the influence of job-related inputs, both extrinsic and intrinsic to the job itself. Together with these inputs, pay-related fairness issues have played an important role in explaining the phenomenon. However, few studies consider the factors linked to fairness issues, such as ethical leadership. Because ethical leadership necessarily entails the concept of fairness, it seemingly should have a positive effect. Furthermore, because the presence of supervisor ethical leadership (SEL) (...) offers strong chances for employees to achieve moral accomplishments and excel in the practice of their jobs, SEL should enhance the effects of intrinsic job inputs. Whereas high job motivating potential (JMP) makes it easier for employees be self-actualized, moral fulfillment is necessary for them to obtain authentic self-actualization at work and minimize the impact of pay deficiencies. Along with SEL, JMP should be shaped to increase positive experiences of job meaningfulness, responsibility for job outcomes, and knowledge of results at work, which can lead to enjoyment in doing the job in itself, not just for compensation-related motives. Hierarchical regression analysis with a sample of 151 employees in a diverse set of Spanish organizations supports the direct effects of JMP and SEL and shows that higher levels of SEL increase the positive effects of JMP on pay satisfaction. The practical implications of these findings and further research directions conclude this article. (shrink)

Worldwide, vulnerable neighbourhoods of large cities are often the scene of collective violent conflicts linked with migration and ethnic minorities’ struggles for social justice. However, urban conflicts of this kind have not taken place in Spanish cities with high immigration rates, even though the country has been deeply affected by two recent socioeconomic crises (2009 and 2020). This article reports findings of a study aimed at understanding what lies behind this apparent social peace. The research methodology was based on an (...) analysis of secondary socio-economic and socio-relational data from the Spanish Institute of Statistics and from key national surveys and reports. Results confirmed that immigrant population living in the country are strongly segregated in the lower strata of the labour and socioeconomic structure and have been disproportionately affected by the crises. However, research findings also pointed to the existence of strong closed support networks where social capital has been effective at palliating members’ disadvantage and unrest. Drawing on the Theory of Rupture Frames, we argue that this is a fragile and unsustainable social peace, rooted in social injustice, and anticipate that unless actively prevented, uncontrolled conflict will eventually emerge in main cities’ neighbourhoods in Spain. (shrink)

This paper presents two formation tracking control strategies for a combined set of single and double integrator agents with an arbitrary undirected communication topology. The first approach is based on the design of distance-based potential functions with interagent collision avoidance using local information about the distance and orientation between agents and the desired trajectory. The second approach adds signed area constraints to the desired formation specification and a control strategy that uses distance as well as area terms is designed to (...) achieve tracking convergence. Numerical simulations show the performance from both control laws. (shrink)

It has become almost commonplace to recognise that teaching is an embodied practice. Most analyses of teaching as embodied practice focus on the embodied nature of the teacher as subject. Here, we use Butler's concept of performativity to analyse the reiterated acts that are intelligible as—performatively constitute—teaching, rather of the teacher as subject. We suggest that this simultaneously helps explain the persistence of teaching as a narrow repertoire of actions recognisable as ‘teaching’, and the policing of conformity to teaching thus (...) embodied. However, like performatively accomplished subjectivity, this repertoire is unstable and ambiguous, and thus open to change and disruption. Moreover, teacher subjectivities may lead them to mobilise these possibilities of disruption. (shrink)

Gottfried Wilhelm Leibniz is the self-proclaimed inventor of the binary system and is considered as such by most historians of mathematics and/or mathematicians. Really though, we owe the groundwork of today’s computing not to Leibniz but to the Englishman Thomas Harriot and the Spaniard Juan Caramuel de Lobkowitz, whom Leibniz plagiarized. This plagiarism has been identified on the basis of several facts: Caramuel’s work on the binary system is earlier than Leibniz’s, Leibniz was acquainted—both directly and indirectly—with Caramuel’s work and (...) Leibniz had a natural tendency to plagiarize scientific works. (shrink)

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

Roger Boscovich, belonging to XVIII century, halfway from Newton to Faraday, is traditionally considered as a newtonian philosopher. Nevertheless, following Berkson’s suggestion, he could be a Field Theory forerunner. In this work, we will try to go on with the idea of this suggestion in order to show this possible Boscovich’s contribution.

An appropriate framework is put forward for the construction of $$\lambda $$ -models with $$\infty $$ -groupoid structure, which we call homotopic $$\lambda $$ -models, through the use of an $$\infty $$ -category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $$\lambda $$ -calculus, in the sense that the concept of proof (path) of equality of $$\lambda $$ -terms is raised to higher proof (homotopy).